Koha online catalog › Results of search for 'se,phr:"Applied logic series "'

	1.	Analysis and synthesis of logics : how to cut and paste reasoning systems by Carnielli, Walter. Material type: Book; Format: print ; Literary form: Not fiction Publisher: Dordrecht: Springer, 2008Availability: Items available for loan: [Call number: 511.3 CAR] (1). Place hold
	2.	Hybrid logic and its proof-theory by Brauner, Torben. Material type: Book; Format: print ; Literary form: Not fiction Publisher: Dordrecht: Springer, 2011Availability: Items available for loan: [Call number: 511.3 BRA] (1). Place hold
	3.	Multi-Dimensional Modal Logic by Marx, Maarten \| Venema, Yde. Material type: Book; Format: print ; Literary form: Not fiction Publisher: Dordrecht: Springer, 1997Availability: Items available for loan: [Call number: 160 MAR] (1). Place hold

Koha online